pre.src {
  background-color: #2d3743;
  color: #e1e1e0;
}

#table-of-contents .timestamp {
    color: greenyellow;
}
